home *** CD-ROM | disk | FTP | other *** search
- :
-
- #
- # script to generate a Makefile from an Imakefile. Sometimes useful for
- # generating Makefiles for stuff outside the X sources.
- #
-
- progname=$0
- xtop=$1
- what=$2
-
- if [ x"$xtop" = x ]; then
- echo "usage: $progname xsrctop [whattomake]"
- exit 1
- fi
-
- if [ x"$what" = x ]; then
- what="Makefile"
- fi
-
- if [ ! -d $xtop ]; then
- echo "$progname"": no such directory $xtop"
- exit 1
- fi
-
- if [ ! -d $xtop/config ]; then
- echo "$progname"": no X configuration files under $xtop"
- exit 1
- fi
-
- if [ ! -f Imakefile ]; then
- echo "$progname"": can't find `pwd`/Imakefile"
- exit 1
- fi
-
- if [ -f $what ]; then
- rm -f ${what}.bak
- mv $what ${what}.bak
- fi
-
- echo "Making $what from Imakefile"
- PATH=$xtop/util/imake:$PATH \
- imake -DTOPDIR=$xtop -I$xtop/config $what
-